discrete mathematics quantifiers